作者:,Philip J. Guo,
发布日期:2008
发布机构:
2 KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs [科技报告]
作者:, Cristian Cadar, Daniel Dunbar, Dawson Engler,
发布日期:2008
发布机构:
作者:, Siddhartha Chaudhuri,Daniel Horn, Pat Hanrahan, Vladlen Koltun,
发布日期:2008
发布机构:
作者:, Joel Brandt, Philip J. Guo, Joel Lewenstein, Mira Dontcheva, Scott R. Klemmer,
发布日期:2008
发布机构:
作者:, Jerry Talton, Daniel Gibson, Pat Hanrahan, Vladlen Koltun,
发布日期:2008
发布机构: